es{-}p{-}le{-}pred(${\it es}$;$P$)($e$,${\it e'}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it e'}$ $\leq$loc $e$  \& $P$(${\it e'}$) \& ($\forall$${\it e''}$:E. ${\it e''}$ $\leq$loc $e$  $\Rightarrow$ (${\it e'}$ $<$loc ${\it e''}$) $\Rightarrow$ ($\neg$($P$(${\it e''}$))))